Hybrid Time Delay Petri Nets as a Mathematical Novel Tool to Model Dynamic System with Current Sample Time

نویسندگان

  • Abbas Dideban Department of Electrical and Computer Engineering,Semnan university, Semnan, Iran
چکیده مقاله:

The existing modeling methods using Petri Nets‎, ‎have been successfully applied to model and analyze dynamic systems‎. ‎However‎, ‎these methods are not capable of modeling all dynamic systems such as systems with the current sample time signals‎, ‎systems including various subsystems and multi-mode systems‎. ‎This paper proposes Hybrid Time Delay Petri Nets (HTDPN) to solve the problem‎. ‎In this approach‎, ‎discrete and continuous Petri Nets are combined so that the continuous PNs part and the discrete PNs are responsible for past time samples and current sample time‎, ‎respectively‎. ‎To evaluate the performance of the proposed tool‎, ‎it is employed to model a legless piezoelectric capsubot robot as a multi modes system and a $PID$ controller‎, ‎in which the gains tuned by the Genetic Algorithm are designed for the resulting model by HTDPN‎. ‎Results show that the proposed method is faster in terms of mathematical calculations which can reduce the simulation time and complexity of complicated systems‎. ‎It would be observed that the proposed approach makes the $PID$ controller design simpler as well‎. ‎In addition‎, ‎a comparative study of capsubot has been performed‎. ‎Simulation results show that the presented method is encouraging compared to the predictive control‎, ‎which is used in the literature.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Hybrid Petri nets as an approximation to Markovian Petri nets ?

A Markovian Petri net is a stochastic discrete event system frequently used for analysis and performance evaluation purposes. In the past, the fluidification has been proposed as a relaxation technique for avoiding the ”state explosion problem”. Following the same approach, in this paper a hybrid Petri net model is defined as a partial relaxation of an original Markovian Petri net. It is shown ...

متن کامل

Fluid Survival Tool: A Model Checker for Hybrid Petri Nets

Recently, algorithms for model checking Stochastic Timed Logic (STL) on Hybrid Petri nets with a general one-shot transition (HPNG) have been introduced. Currently, an actual tool is being developed for model checking HPNG models against STL formulas. A graphical user interface (GUI) helps to demonstrate and validate existing algorithms. Additionally, the tool gives insight into model checking ...

متن کامل

Mathematical Modeling for Homogeneous Tumor with Delay in Time

Due to the properties of tumor cell, the tumor establishes itself in the organ and grows there, so there is a competition between the tumor cells and host cell (normal cells) for nutrients. Evidences show that high dietary phosphorus increases the rate of protein synthesis and thus the cell number. So, other than oxygen, sulfur, the important element that both tumor cells and normal cells need ...

متن کامل

Romeo: A Tool for Analyzing Time Petri Nets

In this paper, we present the features of Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation of TPN and on-the-fly model-checking of reachability properties. It performs translations from TPNs to Timed Automata (TAs) that preserve the behavioural semantics (timed bisimilarity) of the TPNs. Besides, our tool also deals with an extension of Time Petri Nets (Sche...

متن کامل

Model Checking Bounded Prioritized Time Petri Nets

In a companion paper [BPV06], we investigated the expressiveness of Time Petri Nets extended with Priorities and showed that it is very close to that Timed Automata, in terms of weak timed bisimilarity. As a continuation of this work we investigate here the applicability of the available state space abstractions for Bounded Time Petri Nets to Bounded Prioritized Time Petri Nets. We show in part...

متن کامل

Time Petri Nets with Dynamic Firing Dates: Semantics and Applications

We define an extension of time Petri nets such that the time at which a transition can fire, also called its firing date, may be dynamically updated. Our extension provides two mechanisms for updating the timing constraints of a net. First, we propose to change the static time interval of a transition each time it is newly enabled; in this case the new time interval is given as a function of th...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


عنوان ژورنال

دوره 3  شماره 1

صفحات  45- 64

تاریخ انتشار 2018-04-01

با دنبال کردن یک ژورنال هنگامی که شماره جدید این ژورنال منتشر می شود به شما از طریق ایمیل اطلاع داده می شود.

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023